Nuprl Definition : secret-table
11,40
postcript
pdf
secret-table(
T
) ==
K
:
(
:
({0..
K
}
(
:Atom1
(
:(
+ Atom1)
data(
T
)))))
latex
Definitions
x
:
A
B
(
x
)
,
{
i
..
j
}
,
#$n
,
x
:
A
B
(
x
)
,
left
+
right
,
,
Atom$n
,
data(
T
)
FDL editor aliases
secret-table
origin